home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / a_utils / yacc / flexyacc / aflex.lha / aflex / src / ecsS.a < prev    next >
Text File  |  1991-05-16  |  2KB  |  37 lines
  1. -- Copyright (c) 1990 Regents of the University of California.
  2. -- All rights reserved.
  3. --
  4. -- This software was developed by John Self of the Arcadia project
  5. -- at the University of California, Irvine.
  6. --
  7. -- Redistribution and use in source and binary forms are permitted
  8. -- provided that the above copyright notice and this paragraph are
  9. -- duplicated in all such forms and that any documentation,
  10. -- advertising materials, and other materials related to such
  11. -- distribution and use acknowledge that the software was developed
  12. -- by the University of California, Irvine.  The name of the
  13. -- University may not be used to endorse or promote products derived
  14. -- from this software without specific prior written permission.
  15. -- THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR
  16. -- IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED
  17. -- WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR A PARTICULAR PURPOSE.
  18.  
  19. -- TITLE equivalence class
  20. -- AUTHOR: John Self (UCI)
  21. -- DESCRIPTION finds equivalence classes so DFA will be smaller
  22. -- $Header: /co/ua/self/arcadia/aflex/ada/src/RCS/ecsS.a,v 1.4 90/01/12 15:19:57 self Exp Locker: self $ 
  23.  
  24. with MISC_DEFS; use MISC_DEFS; 
  25. package ECS is 
  26.   procedure CCL2ECL; 
  27.   procedure CRE8ECS(FWD, BCK : in out C_SIZE_ARRAY; 
  28.                     NUM      : in INTEGER; 
  29.                     RESULT   : out INTEGER); 
  30.   procedure MKECCL(CCLS     : in out CHAR_ARRAY; 
  31.                    LENCCL   : in INTEGER; 
  32.                    FWD, BCK : in out UNBOUNDED_INT_ARRAY; 
  33.                    LLSIZ    : in INTEGER); 
  34.   procedure MKECHAR(TCH      : in INTEGER; 
  35.                     FWD, BCK : in out C_SIZE_ARRAY); 
  36. end ECS; 
  37.